Negation as failure - PDFSEARCH.IO - Document Search Engine

Negation as failure
Results: 15

#	Item
11	Fuzzy autoepistemic logic and its relation to fuzzy answer set programming Marjon Blondeela,1 , Steven Schockaertb , Martine De Cockc , Dirk Vermeira a Vrije Universiteit Brussel, Department of Computer Science, Pleinla Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-02-28 16:30:28 Non-classical logic Modal logic Artificial intelligence Autoepistemic logic Stable model semantics Negation as failure Default logic Non-monotonic logic Fuzzy logic Logic Mathematical logic Logic programming
12	Artificial Intelligence Artificial Intelligence[removed]101 An abstract, argumentation-theoretic to default reasoning Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-24 04:12:43 Non-classical logic Logical consequence Philosophical logic Non-monotonic logic Default logic Autoepistemic logic Negation as failure Stable model semantics Entailment Logic Mathematical logic Logic programming
13	LG[removed]March 4, 2008 Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2008-03-20 14:06:26 Datalog Game Description Language Logic programming Function Tic-tac-toe Negation as failure Stratification FO Mathematics Mathematical logic Query languages
14	9. Negation as Failure 9-1 Add to Reading List Source URL: users.informatik.uni-halle.de Language: German - Date: 2007-10-02 05:24:35
15	PDF Document Add to Reading List Source URL: www.depts.ttu.edu Language: English - Date: 2011-09-19 10:31:27 Artificial intelligence Stable model semantics Negation as failure Prolog Answer set programming Negation Inference Natural deduction Admissible rule Logic programming Logic Software engineering

UPDATE